منابع مشابه
Validating Process Refinement with Ontologies
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement is with respect to either an abstract model or a component’s principle behaviour model. We define process refinement based on the execution set semantics. Predecessor and successor relations of the activities are descr...
متن کاملProcess-Integrated Refinement Patterns in UML
The Unified Modeling Language (UML) is a widely used standard in Model-Driven Engineering (MDE). Using the UML in a software development process means to refine and evolve models in many ways. Firstly, a system model evolves through different layers of abstraction towards an appropriate design in an object-oriented programming language (vertical refinement). Secondly, a set of consecutive revis...
متن کاملApplying Refinement Calculi to Software Process Modelling
A refinement calculus provides a number of advantages to program development, besides correctness, like clarification of the goals of the program and effective documentation of the design choices. In this paper, we provide evidence that the same advantages are gained also for those programs known as enactable process models. The evidence is put forward by means of an example, a small Concurrent...
متن کاملComparison of Data and Process Refinement
From what point of view is it reasonable, or possible, to refine a one place buffer into a two place buffer? In order to answer this question we characterise refinement based on substitution in restricted contexts. We see that data refinement (specifically in Z) and process refinement give differing answers to the original question, and we compare the precise circumstances which give rise to th...
متن کاملCompliant Business Process Design Using Refinement Layers
In recent years compliance has emerged as one of the big IT challenges enterprises are faced with. The management of a multitude of regulations and the complexity of current business processes are problems that need to be addressed. In this paper we present an approach based on so-called compliance templates to develop and manage compliant business processes involving different stakeholders. We...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2008
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2008.06.006